Lógica Proposicional, Deducción Simple Y Compuesta.